-
1 object logic
Большой англо-русский и русско-английский словарь > object logic
-
2 object logic
Математика: объектная логика -
3 object logic
мат. -
4 logic
-
5 Logic
My initial step... was to attempt to reduce the concept of ordering in a sequence to that of logical consequence, so as to proceed from there to the concept of number. To prevent anything intuitive from penetrating here unnoticed, I had to bend every effort to keep the chain of inference free of gaps. In attempting to comply with this requirement in the strictest possible way, I found the inadequacy of language to be an obstacle. (Frege, 1972, p. 104)I believe I can make the relation of my 'conceptual notation' to ordinary language clearest if I compare it to the relation of the microscope to the eye. The latter, because of the range of its applicability and because of the ease with which it can adapt itself to the most varied circumstances, has a great superiority over the microscope. Of course, viewed as an optical instrument it reveals many imperfections, which usually remain unnoticed only because of its intimate connection with mental life. But as soon as scientific purposes place strong requirements upon sharpness of resolution, the eye proves to be inadequate.... Similarly, this 'conceptual notation' is devised for particular scientific purposes; and therefore one may not condemn it because it is useless for other purposes. (Frege, 1972, pp. 104-105)To sum up briefly, it is the business of the logician to conduct an unceasing struggle against psychology and those parts of language and grammar which fail to give untrammeled expression to what is logical. He does not have to answer the question: How does thinking normally take place in human beings? What course does it naturally follow in the human mind? What is natural to one person may well be unnatural to another. (Frege, 1979, pp. 6-7)We are very dependent on external aids in our thinking, and there is no doubt that the language of everyday life-so far, at least, as a certain area of discourse is concerned-had first to be replaced by a more sophisticated instrument, before certain distinctions could be noticed. But so far the academic world has, for the most part, disdained to master this instrument. (Frege, 1979, pp. 6-7)There is no reproach the logician need fear less than the reproach that his way of formulating things is unnatural.... If we were to heed those who object that logic is unnatural, we would run the risk of becoming embroiled in interminable disputes about what is natural, disputes which are quite incapable of being resolved within the province of logic. (Frege, 1979, p. 128)[L]inguists will be forced, internally as it were, to come to grips with the results of modern logic. Indeed, this is apparently already happening to some extent. By "logic" is not meant here recursive function-theory, California model-theory, constructive proof-theory, or even axiomatic settheory. Such areas may or may not be useful for linguistics. Rather under "logic" are included our good old friends, the homely locutions "and," "or," "if-then," "if and only if," "not," "for all x," "for some x," and "is identical with," plus the calculus of individuals, event-logic, syntax, denotational semantics, and... various parts of pragmatics.... It is to these that the linguist can most profitably turn for help. These are his tools. And they are "clean tools," to borrow a phrase of the late J. L. Austin in another context, in fact, the only really clean ones we have, so that we might as well use them as much as we can. But they constitute only what may be called "baby logic." Baby logic is to the linguist what "baby mathematics" (in the phrase of Murray Gell-Mann) is to the theoretical physicist-very elementary but indispensable domains of theory in both cases. (Martin, 1969, pp. 261-262)There appears to be no branch of deductive inference that requires us to assume the existence of a mental logic in order to do justice to the psychological phenomena. To be logical, an individual requires, not formal rules of inference, but a tacit knowledge of the fundamental semantic principle governing any inference; a deduction is valid provided that there is no way of interpreting the premises correctly that is inconsistent with the conclusion. Logic provides a systematic method for searching for such counter-examples. The empirical evidence suggests that ordinary individuals possess no such methods. (Johnson-Laird, quoted in Mehler, Walker & Garrett, 1982, p. 130)The fundamental paradox of logic [that "there is no class (as a totality) of those classes which, each taken as a totality, do not belong to themselves" (Russell to Frege, 16 June 1902, in van Heijenoort, 1967, p. 125)] is with us still, bequeathed by Russell-by way of philosophy, mathematics, and even computer science-to the whole of twentieth-century thought. Twentieth-century philosophy would begin not with a foundation for logic, as Russell had hoped in 1900, but with the discovery in 1901 that no such foundation can be laid. (Everdell, 1997, p. 184)Historical dictionary of quotations in cognitive science > Logic
-
6 object-code compatible
-
7 business logic object: An object that encapsulates the business rules for processing a client request
Общая лексика: (business-specific application logic) объект бизнес-логики: объект, инкапсулирующий бизнес-правила (бизнес-логику конкретного приложения) обработкиУниверсальный англо-русский словарь > business logic object: An object that encapsulates the business rules for processing a client request
-
8 State transition logic is formally defined within finite automata theory
Общая лексика: Логика переходов (см. Auslander D.M., Ridgely J.R., Ringgenberg J.D. Control Software for Mechanical Systems. Object-Oriented Design in a Real-Time World)Универсальный англо-русский словарь > State transition logic is formally defined within finite automata theory
-
9 state transition logic
Программирование: логика переходов (смены) состояний (см. Auslander D.M., Ridgely J.R., Ringgenberg J.D. Control Software for Mechanical Systems. Object-Oriented Design in a Real-Time World)Универсальный англо-русский словарь > state transition logic
-
10 application logic object: An object that hides the details of the application logic separately from the data being manipulated
Общая лексика: объект прикладной логики: объект, скрывающий детали логики приложения и отделяющий её от обрабатываемых данных (см. Designi)Универсальный англо-русский словарь > application logic object: An object that hides the details of the application logic separately from the data being manipulated
-
11 business logic object: An object that encapsulates the business rules (business-specific application logic) for processing a client request
Общая лексика: объект бизнес-логики: объект, инкапсулирующий бизнес-правила (бизнес-логику конкретного приложения) обработкиУниверсальный англо-русский словарь > business logic object: An object that encapsulates the business rules (business-specific application logic) for processing a client request
-
12 application logic object
Программирование: объект прикладной логики (объект, скрывающий детали логики приложения и отделяющий её от обрабатываемых данных)Универсальный англо-русский словарь > application logic object
-
13 business logic object
Программирование: объект бизнес-логики -
14 concurrent object's internal logic
Программирование: внутренний алгоритм работы (параллельного) объектаУниверсальный англо-русский словарь > concurrent object's internal logic
-
15 critical section: The section of a concurrent object's internal logic that is mutually exclusive
Общая лексика: критическая секция: участок внутреннего алгоритма работы объекта, требующий взаимного исключения (см. Designing Concurrent, Distributed, and Real-time A)Универсальный англо-русский словарь > critical section: The section of a concurrent object's internal logic that is mutually exclusive
-
16 section of a concurrent object's internal logic
Программирование: участок внутреннего алгоритма работы (параллельного) объектаУниверсальный англо-русский словарь > section of a concurrent object's internal logic
-
17 объектная логика
Большой англо-русский и русско-английский словарь > объектная логика
-
18 language
язык || языковой- action description language
- actual machine language
- agent programming language
- AI language
- Algol-like language
- algorithmical language
- algorithmic language
- application-oriented language
- applicative language
- artificial language
- assembler language
- assembly language
- assembly-output language
- assignment-free language
- behavioral language
- bidirectional language
- block-structured language
- Boolean-based language
- business definition language
- business-oriented language
- calculus-type language
- C-based language
- client-side language
- code language
- command language
- compiled language
- compiler language
- component definition language
- composite language
- computer language
- computer-dependent language
- computer-independent language
- computer-oriented language
- computer-programming language
- computer-sensitive language
- consensus language
- context-free language
- control language
- conversational language
- core language
- data definition language
- data description language
- data language
- data manipulation language
- data storage description language
- database language
- data-entry language
- data-flow language
- data-query language
- declarative language
- defining language
- descriptive language
- descriptor language
- design language
- device media control language
- direct execution language
- directly interpretable language
- Dyck language
- end-user language
- escape language
- evolutive language
- executive-control language
- executive language
- explicit language
- extensible language
- fabricated language
- finite state language
- flow language
- foreign language
- formalized language
- frame-based language
- freestanding language
- functional language
- generated language
- graphics language
- graph-oriented language
- hardware-description language
- hardware language
- higher-level language
- higher-order language
- host language
- human language
- human-oriented language
- human-readable language
- indexed language
- information retrieval language
- informational language
- information language
- inherently ambiguous language
- input language
- input/output language
- instruction language
- integrated language
- interactive language
- interim language
- intermediate language
- internal language
- interpreted language
- job control language
- job-oriented language
- knowledge representation language
- language pair
- letter-equivalent languages
- linear language
- linear-programming language
- list-processing language
- logic-type language
- low-level language
- machine language
- machine-dependent language
- machine-independent language
- machine-oriented language
- macroassembly language
- macro language
- macroinstruction language
- macroprogramming language
- man-to-computer language
- mathematical formular language
- memory management language
- mnemonic language
- modeling language
- native language
- natural language
- NC programming language
- nested language
- network-oriented language
- nonprocedural language
- numder language
- object language
- object modeling language
- object-oriented language
- one-dimensional language
- operator-oriented language
- original language
- page description language
- parallel language
- phrase structure language
- predicate language
- predicate logic-based language
- predicate logic language
- privacy language
- problem statement language
- problem-oriented language
- procedural language
- procedure-oriented language
- process control language
- production language
- program language
- programming language
- pseudo language
- pseudomachine language
- query language
- readable specification language
- reference language
- regular language
- relational language
- relational-type language
- representation language - requirements modeling language
- restricted language
- rule-based language
- ruly language
- schema language
- science-oriented language
- script language
- self-contained language
- semantic-formal language
- semiformal language
- sentential language
- serial language
- simulation language
- single-assignment language
- source language
- specialized language
- specification language
- stream-based language
- strict language
- structured programming language
- structured query language
- super language
- super-high-level language
- symbolic language
- symbolic programming language
- syntax language
- synthetic language
- system input language
- system language
- system-oriented language
- tabular language
- target language
- TC language
- time sharing language
- type-free language
- unified modeling language
- update language
- user language
- user-oriented language
- very-high-level languageEnglish-Russian dictionary of computer science and programming > language
-
19 programming
1) вчт программирование•- applications programming
- automatic programming
- bare metal programming
- beam programming
- bottom-up programming
- business programming
- cascade programming
- compositional parallel programming
- compromise programming
- conceptual programming
- concurrent programming
- configuration programming
- declarative programming
- distributed logic programming
- dynamic programming
- egoless programming
- event-driven programming
- flow programming
- functional programming
- fuzzy programming
- generic programming
- genetic programming
- geometric programming
- goal-driven programming
- heuristic programming
- high-level language programming
- imperative programming
- inference programming
- integer programming
- interactive programming
- interpretive programming
- linear programming
- linear integer programming
- logic programming
- macro programming
- maintenance programming
- manual programming
- mathematical programming
- metalevel programming
- mixed integer programming
- modular programming
- modular parallel programming
- molecular programming
- multicriteria programming
- neurodynamic programming
- neurolinguistic programming
- nonlinear programming
- nonnumeric programming
- object-based programming
- object-language programming
- object-oriented programming
- off-line programming
- optimum programming
- parallel programming
- parallel programming in transputer medium
- parallel programming with coordination structures
- paranoid programming
- polynomial programming
- possibilistic programming
- predicate programming
- procedure-oriented programming
- production programming
- quadrature programming
- recursive quadratic programming
- stochastic programming
- structural programming
- structured programming
- switchboard programming
- symbolic programming
- symbolic-language programming
- system programming
- systems programming
- test programming
- top-down programming
- traditional programming
- typematic delay programming
- typematic rate programming
- visual programming -
20 programming
1) вчт. программирование•- applications programming
- automatic programming
- bare metal programming
- beam programming
- bottom-up programming
- business programming
- cascade programming
- compositional parallel programming
- compromise programming
- conceptual programming
- concurrent programming
- configuration programming
- declarative programming
- distributed logic programming
- dynamic programming
- egoless programming
- event-driven programming
- flow programming
- functional programming
- fuzzy programming
- generic programming
- genetic programming
- geometric programming
- goal-driven programming
- heuristic programming
- high-level language programming
- imperative programming
- inference programming
- integer programming
- interactive programming
- interpretive programming
- linear integer programming
- linear programming
- logic programming
- macro programming
- maintenance programming
- manual programming
- mathematical programming
- metalevel programming
- mixed integer programming
- modular parallel programming
- modular programming
- molecular programming
- multicriteria programming
- neurodynamic programming
- neurolinguistic programming
- nonlinear programming
- nonnumeric programming
- object-based programming
- object-language programming
- object-oriented programming
- off-line programming
- optimum programming
- parallel programming in transputer medium
- parallel programming with coordination structures
- parallel programming
- paranoid programming
- polynomial programming
- possibilistic programming
- predicate programming
- procedure-oriented programming
- production programming
- quadrature programming
- recursive quadratic programming
- stochastic programming
- structural programming
- structured programming
- switchboard programming
- symbolic programming
- symbolic-language programming
- system programming
- systems programming
- test programming
- top-down programming
- traditional programming
- typematic delay programming
- typematic rate programming
- visual programmingThe New English-Russian Dictionary of Radio-electronics > programming
См. также в других словарях:
Logic and the philosophy of mathematics in the nineteenth century — John Stillwell INTRODUCTION In its history of over two thousand years, mathematics has seldom been disturbed by philosophical disputes. Ever since Plato, who is said to have put the slogan ‘Let no one who is not a geometer enter here’ over the… … History of philosophy
Object Management Group — Formation 1989 Headquarters Needham, Massachusetts Website … Wikipedia
Logic — • A historical survey from Indian and Pre Aristotelian philosophy to the Logic of John Stuart Mill Catholic Encyclopedia. Kevin Knight. 2006. Logic Logic … Catholic encyclopedia
Logic Pro — Logic 8 Developer(s) Apple Inc. Stable release 9.1.5 / 2011 08 08 Operating system … Wikipedia
Object Process Methodology — (OPM) is an approach to designing information systems by depicting them using object models and process models. OPM was conceived and developed by Prof. Dov Dori, at the Technion – Israel Institute of Technology. A paper that first presented… … Wikipedia
Object-oriented programming — Programming paradigms Agent oriented Automata based Component based Flow based Pipelined Concatenative Concurrent computing … Wikipedia
Object language — An object language is a language which is the object of study in various fields including logic, linguistics, mathematics and theoretical computer science. The language being used to talk about an object language is called a metalanguage. An… … Wikipedia
Object-relational impedance mismatch — The object relational impedance mismatch is a set of conceptual and technical difficulties that are often encountered when a relational database management system (RDBMS) is being used by a program written in an object oriented programming… … Wikipedia
logic, philosophy of — Philosophical study of the nature and scope of logic. Examples of questions raised in the philosophy of logic are: In virtue of what features of reality are the laws of logic true? ; How do we know the truths of logic? ; and Could the laws of… … Universalium
Object database — Example of an object oriented model.[1] An object database (also object oriented database management system) is a database management system in which information is represented in the form of objects as used in object oriented programming. Object … Wikipedia
Object theory — For the concept of objects in philosophy, see Object (philosophy). Object theory is a theory in philosophy and mathematical logic concerning objects and the statements that can be made about objects. Contents 1 An informal theory 2 Objects 3 A… … Wikipedia
